Semantics of logic - PDFSEARCH.IO - Document Search Engine

Semantics of logic
Results: 1541

#	Item
481	Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation David Brumley, Juan Caballero, Zhenkai Liang, James Newsome, and Dawn Song Carnegie Mell Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Software testing Predicate transformer semantics Program logic Fuzz testing X Window System Function KeY Errors and residuals in statistics Network Time Protocol Statistics Software Mathematics
482	A hundred tongues… Flutter by Alex Davies “It has a hundred tongues a hundred mouths and a voice of iron …There are a hundred meows, a hundred miles and a hundred tanks …It is a hundred pounds, it is a hundred do Add to Reading List Source URL: schizophonia.com Language: English - Date: 2015-01-01 23:12:08 Analytic philosophy Logic Linguistics Semantics Critical thinking Rhetoric Communication Text messaging Chinese whispers Meaning Philosophical logic Philosophy of language
483	Step-Indexed Normalization for a Language with General Recursion Chris Casinghino Vilhelm Sj¨oberg Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-07-10 05:47:12 Philosophy of language Philosophy of mind Semantics Linguistics Science Entailment Logic Interpretation Model theory
484	The Ackermann Award 2013 Anuj Dawar, Thomas A. Henzinger, and Damian Niwiński Members of EACSL Jury of the Ackermann Award The ninth Ackermann Award is presented at CSL’13, held in Turin, Italy. This year, as in the p Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2013-08-27 05:13:12 Philosophical logic Logic in computer science Game semantics Game theory Quantification Temporal logic First-order logic Logic Mathematical logic Mathematics
485	MFPSSemi-decidability of may, must and probabilistic testing in a higher-type setting Mart´ın Escard´o Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2009-05-12 05:48:53 Denotational semantics Logic in computer science Model theory Structure Μ operator Programming Computable Functions Theoretical computer science Mathematics Mathematical logic
486	PROVING CORRECTNESS OF COMPILER OPTIMIZATIONS BY TEMPORAL LOGIC David Lacey (Oxford University) Neil D. Jones (University of Copenhagen) Eric Van Wyk (Oxford University) Carl C. Frederiksen (University of Copenhagen) Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2011-12-19 05:05:49 Logic Denotational semantics Logic in computer science Interpretation Compiler Symbol Natural deduction Μ operator Theoretical computer science Mathematical logic Model theory
487	On the characterization of models of H ∗ Flavien Breuvart ∗ PPS, UMR 7126, Univ Paris Diderot, LIPN, UMR 7030, Univ Paris Nord, Sorbonne Paris Cit´e Abstract Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2014-05-14 11:54:52 Models of computation Mathematics Lambda calculus Symbol Combinatory logic Denotational semantics Spectral theory of ordinary differential equations Curry–Howard correspondence Theoretical computer science Logic in computer science Applied mathematics
488	Semantics of a Sequential Language for Exact Real-Number Computation J. Raymundo Marcial-Romero a,∗,1, Mart´ın H. Escard´o a a University Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2006-11-20 04:57:34 Structure Models of computation Denotational semantics Logic in computer science Power domains Continuous function Complete partial order Scott continuity Function Mathematics Order theory Theoretical computer science
489	On the Semantics of Linking and Importing in Modular Ontologies Jie Bao1 , Doina Caragea2 , Vasant G Honavar1 1 Artificial Intelligence Research Laboratory, Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2006-09-20 15:55:35 Information Knowledge representation Knowledge engineering Non-classical logic Ontology Description logic Modal logic Frame language Mereology Science Logic Information science
490	FreshML: A Fresh Approach to Name Binding in Metaprogramming Languages Final Report∗ Andrew M. Pitts February 2005 Abstract Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2005-02-28 05:08:39 Logic in computer science Models of computation Formal methods Denotational semantics De Bruijn index Higher-order abstract syntax Lambda calculus ECL programming language Actor model Computing Software engineering Theoretical computer science

UPDATE